﻿using System;
using System.Collections.Generic;
using System.IO;
using System.Linq;
using System.Text;
using DFAToCNF;
using DFSGenerator;

namespace ConsoleApp
{
    class Program
    {
        static void Main(string[] args)
        {
            var random = new Random();
            var dfa = new DFA(3, new List<string> {"a", "b"}, random);
            Console.SetOut(new StreamWriter("out.txt"));
            
            
            Console.WriteLine(dfa.ToHumanReadableString());

            Console.WriteLine((new Converter()).GetCNF(dfa, 1));
            Console.WriteLine((new Converter()).GetCNF(dfa, 2));
            Console.WriteLine((new Converter()).GetCNF(dfa, 3));
            
/*
            var fact = new DFAFactory();
            fact.GetExperimentSeries(3, 10, new List<string> { "a", "b" }).ForEach(a => Console.WriteLine(a.ToHumanReadableString()));
            */

            Console.Out.Flush();
        }
    }
}
